ar X iv : c s / 06 05 10 8 v 1 [ cs . A I ] 2 4 M ay 2 00 6 Diagnosability of Fuzzy Discrete Event Systems ∗

ar X iv : c s / 06 05 10 7 v 1 [ cs . L O ] 2 4 M ay 2 00 6 Supervisory Control of Fuzzy Discrete Event Systems with Partial Observations ∗

Our goal is to set up Controllability and Observability Theorem of fuzzy discrete event systems (FDESs), in which the observability and controllability of events may be fuzzy instead. In particular, we present a detailed computing flow to verify whether the controllability and observability conditions hold. Thus, this result can decide the existence of supervisors. As well, this computing metho...

ar X iv : h ep - t h / 06 05 27 4 v 1 2 8 M ay 2 00 6 hep - th / 0605274 Metric and coupling reversal in string theory

Invariance under reversing the sign of the metric G M N (x) and/or the sign of the string coupling field H Universe K contains only F1 and NS5 of IIB and Heterotic SO(32).

ar X iv : c s / 06 05 08 5 v 1 [ cs . L O ] 1 9 M ay 2 00 6 A Scalable Algorithm for Minimal Unsatisfiable Core Extraction ⋆

We propose a new algorithm for minimal unsatisfiable core extraction, based on a deeper exploration of resolution-refutation properties. We provide experimental results on formal verification benchmarks confirming that our algorithm finds smaller cores than suboptimal algorithms; and that it runs faster than those algorithms that guarantee minimality of the core. (A more complete version of thi...

ar X iv : a st ro - p h / 06 05 06 7 v 1 2 M ay 2 00 6 Sensitivity and pointing accuracy of the NEMO km 3 telescope

ar X iv : h ep - e x / 06 05 04 8 v 1 1 5 M ay 2 00 6 Jet Measurements and Determination of α S at HERA

The strong coupling constant αS can be measured in deep inelastic ep scattering by employing various methods. Recent results on the extraction of αS using jet and event shape observables are presented. The results are found to be in good agreement with other more inclusive measurements and the world average value.